Поиск по сайту

ГлавнаяПоиск по сайту

Информация

По вашему запросу найдено материалов: 1
Искать:
Веретнов С. О. , Непомнящий В. А. , Бодин Е. В. «Анализ и верификация SDL-спецификаций распределенных систем с помощью языка Dynamic-REAL» // Вестник ТГУ. УВТиИ 2020. №53 C.118-126